from java.lang import *

System.setProperty("ibis.name_server.key", "key")
System.setProperty("ibis.pool.total_hosts", "2")

System.setProperty("ibis.name_server.host", "150.140.141.181")
System.setProperty("ibis.connect.enable", "true")
System.setProperty("ibis.connect.data_links",
                   "RoutedMessages")
System.setProperty("ibis.connect.control_links",
                   "RoutedMessages")


